00100	PERMUT U ← IF NULL U THEN LIST NIL ELSE 
00137	MAPAPP(U,FUNCTION(λW;MAPCAR(PERMUT(MAPDEL(U,FUNCTION(λZ;Z≡W)))
00175	,FUNCTION(λV;W.V))));
00200	
00300	MAPAPP(U,F)←IF NULL U THEN NIL ELSE APPEND(F CAR U,MAPAPP(CDR U,F));
00400	
00500	MAPDEL(U,P) ← IF NULL U THEN NIL ELSE IF P CAR U THEN MAPDEL(CDR U,P)
00600		ELSE CAR U . MAPDEL(CDR U,P);